BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2018/newsitem/9876/25-
 April-2018-Algebra|Coalgebra-Seminar-Sam-van-Gool
DTSTAMP:20180419T174631
SUMMARY:Algebra|Coalgebra Seminar, Sam van Gool
ATTENDEE;ROLE=Speaker:Sam van Gool
DTSTART;TZID=Europe/Amsterdam:20180425T160000
DTEND;TZID=Europe/Amsterdam:20180425T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
 rdam
DESCRIPTION:We prove an open mapping theorem for t
 he topological spaces dual to finitely presented H
 eyting algebras. This yields in particular a short
 , self-contained semantic proof of the uniform int
 erpolation theorem for intuitionistic propositiona
 l logic, first proved by Pitts in 1992. Our proof 
 is based on the methods of Ghilardi & Zawadowski. 
 However, our proof does not require sheaves nor ga
 mes, only basic duality theory for Heyting algebra
 s.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>We prove an op
 en mapping theorem for the topological spaces dual
  to finitely presented Heyting algebras. This yiel
 ds in particular a short, self-contained semantic 
 proof of the uniform interpolation theorem for int
 uitionistic propositional logic, first proved by P
 itts in 1992. Our proof is based on the methods of
  Ghilardi &amp; Zawadowski. However, our proof doe
 s not require sheaves nor games, only basic dualit
 y theory for Heyting algebras.</p>\n
URL:http://events.illc.uva.nl/alg-coalg
CONTACT:Frederik Lauridsen at f.m.lauridsen at uva
 .nl
END:VEVENT
END:VCALENDAR